Pure Second-Order Logic with Second-Order Identity
نویسندگان
چکیده
منابع مشابه
Second-Order Equational Logic
We provide an extension of universal algebra and its equational logic from first to second order. Conservative extension, soundness, and completeness results are established.
متن کاملA Pure First Order Representation for Undamped Second Order Descriptor Systems
The aim of this paper is to analyze the undamped second order descriptor systems to show the possibility of transform an undamped second order descriptor system to a pure first order descriptor system ,on different ways, while stating some of its benefits. Meanwhile we will introduce pure first order systems and undamped second order systems and indicate that under some assumptions every undamp...
متن کاملkhunaji’s tautologies in second-order logic
for the first time in the history of logic, afzal al-din al-khunaji has found tautologies and contradictories among the verity and actuality propositions. these have been formalized and investigated in first-order logic and it has been shown that their perpetual truth requires the assumption of ‘the presupposed existence of non-existence.’ in this paper, i investigate the tautologies in second-...
متن کاملExtensionalizing Intensional Second-Order Logic
Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. e idea is that, given a second-order entity X, there may be an object εX, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities....
متن کاملAsymptotic Monadic Second-Order Logic
In this paper we introduce so-called asymptotic logics, logics that are meant to reason about weights of elements in a model in a way inspired by topology. Our main subject of study is Asymptotic Monadic Second-Order Logic over infinite words. This is a logic talking about ωwords labelled by integers. It contains full monadic second-order logic and can express asymptotic properties of integers ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2010
ISSN: 0029-4527
DOI: 10.1215/00294527-2010-021